ثم تعكس أولى الافتراض إلى « بعض ب ا » وتضمها إلى النتيجة السابقة هكذا : « بعض ب ا » و « لا شيء من ا د » ينتج « ليس بعض ب د » وهو المطلوب ، وأما الخلف فهو « 1 » ما عرفته .

--> ( 1 ) - فهو ما عرفته ومحصله أنه لو لم يصدق « ليس بعض ب د » لصدق نقيضه وهو « كل ب د » ويضم إلى كبرى القياس وهي : « كل د ج » لينتج « كل ب ج » وقد كانت صغرى القياس المفروض صدقها « ليس بعض ب ج » هذا خلف .